【Scheme归纳】3 比较do, let, loop

对象的比较

eq?

这个函数用来比较2个对象的地址，如果相同的话就返回#t。在Scheme中真用#t表示，假则用#f。
例如，（eq? str str)返回#t，因为str本身的地址的是一样的，但是”scheme”和”scheme”则被存储在不同的地址中，因此函数返回#f。注意，不要用eq?来比较数字，因为在R5RS和MIT-Scheme中均没有被指定返回值，建议使用eqv?或者=代替。以下是一些示例：

(define str "scheme")
;Value: str
(eq? str str)
;Value: #t
(eq? "scheme" "scheme")
;Value:()                               

eqv?

该函数比较2个储存在内存中的对象的类型和值，如果类型和值都一致则返回#t。对于过程（lambda表达式）的比较依赖于具体的实现。这个函数不能用于类似于表和字符串一类的序列比较，因为尽管这些序列看起来是一致的，但它们存储在不同的地址中。以下同样是一些示例：

(eqv? 1.0 1.0)
;Value: #t
(eqv? 1 1.0)
;Value: ()
(eqv? (list 1 2 3) (list 1 23))               不要去比较序列
;Value: ()
(eqv? "scheme" "scheme")
;Value: ()

equal?

比较序列就应该这个函数了。

(equal? (list 1 2 3) (list 1 2 3))
;Value: #t
(equal? "hello" "hello")
;Value #t

其它用于比较的函数

pair?如果对象为序对则返回#t；

list?如果对象是一个表则返回#t。要小心的是空表’()是一个表但是不是一个序对。

null?如果对象是空表’()的话就返回#t。

symbol?如果对象是一个符号则返回#t。

char?如果对象是一个字符则返回#t。

string?如果对象是一个字符串则返回#t。

number?如果对象是一个数字则返回#t。

complex?如果对象是一个复数则返回#t。

real?如果对象是一个实数则返回#t。

rational?如果对象是一个有理数则返回#t。

integer?如果对象是一个整数则返回#t。

exact?如果对象不是一个浮点数的话则返回#t。

inexact?如果对象是一个浮点数的话则返回#t。

odd?如果对象是一个奇数的话则返回#t。

even?如果对象是一个偶数的话则返回#t。

postitive?如果对象是一个正数的话则返回#t。

negative？如果对象是一个负数的话则返回#t。

zero?如果对象是零的话则返回#t。

类似于用<=等比较数字，在比较字符的时候可以使用char=?、char

递归与尾递归

在自己的定义中调用自己的函数叫做递归函数（Recursive Function）。想必大家都知道这些。
计算阶乘则是演示递归的典型示例。

(define (fact n)
  (if (= n 1)
       1
       (* n(fact (- n 1)))))

因此(fact 5)的计算过程用以下方式可以说明得很明显。

(fact 5)
=> 5 * (fact 4)
=> 5 * 4 * (fact 3)
=> 5 * 4 * 3 * (fact 2)
=> 5 * 4 * 3 * 2 * (fact 1)
=> 5 * 4 * 3 * 2 * 1
=> 5 * 4 * 3 * 2
=> 5 * 4 * 6
=> 5 * 24
=> 120

但由于(fact 5),(fact 4)…(fact 1)都被分配了不同的存储空间，直到(fact(- i 1))返回一个值前，(fact i)都会被保存在内存中，由于存在函数调用的开销，这也就意味着会占用更多的内存空间和计算时间。

这种时候，使用尾递归则包含了计算结果，当计算结束时直接将其返回。尤其是Scheme规范要求尾递归调用转化为循环，因此尾递归调用就不存在函数调用开销。以下就是fact函数的尾递归版本。

(define (fact-tail n)
  (fact-rec n n))
(define (fact-rec n p)
  (if (= n 1)
      p
      (